formal approach

формальный метод

Англо-русский словарь по исследованиям и ноу-хау. . 2015.

Смотреть что такое "formal approach" в других словарях:

  • approach — ap•proach [[t]əˈproʊtʃ[/t]] v. t. 1) to come nearer to: The car approached the curb[/ex] 2) to come within range for comparison: As a poet he can t approach Keats[/ex] 3) to make contact with: approached the company with an offer[/ex] 4) to begin …   From formal English to slang

  • formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or …   Universalium

  • formal — I. adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. belonging to or constituting the form or essence of a thing < formal cause > b. relating to or involving the outward form, structure, relationships,… …   New Collegiate Dictionary

  • Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems …   Wikipedia

  • Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others …   Wikipedia

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… …   Wikipedia

  • Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

  • formal — adjective 1) a formal dinner Syn: ceremonial, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy; black tie Ant …   Thesaurus of popular words

Книги

Другие книги по запросу «formal approach» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.